LACUNA: Safe Agents as Recursive Program Holes
LACUNA：以递归程序孔洞实现安全 Agent
🧭 Agent 编程模型与安全执行
EPFL
提出一种 Agent 编程模型，将动作封装为类型化调用，LLM 填充代码并执行前类型检查，兼顾表达力与安全
📌 工作参考价值（4 点）
- 工具调用的类型约束：在电商多 Agent 系统中，可为搜索、推荐、广告等工具定义输入输出类型，Agent 生成调用代码时进行静态检查，防止越权或错误调用，尤其适合 prompt 注入风险高的场景。
- 原子执行与状态回滚：借鉴 all-or-nothing 语义，当 Agent 执行多步推荐逻辑（如更新用户画像、调用推荐 API、写入缓存）时，若某一步失败则整体回滚，避免残留脏状态，保障推荐链路一致性。
- 编译诊断驱动的重试机制：LLM 生成的动作代码若类型不匹配，可将编译器错误信息反馈给模型进行针对性重试，比盲目重试更高效，可直接用于现有 Agent 框架的容错改造。
- 将高级 Agent 模式融入控制流：ReAct、子 Agent、技能组合、并行分解等模式被表达为普通程序结构，开发者可直接用编程语言描述复杂工作流，LACUNA 原语作为安全嵌入点，降低实现复杂度并保证安全。